Editer le fichier suivant:
sudo gedit /etc/bash.bashrc
Puis ajouter cette ligne à la fin:
export http_proxy=http://"proxy_ip":"port_number" # Où "proxy_ip" et "port_number" seront adaptés à votre situation
Adapter la dernière ligne en fonction des protocoles que vous utilisez (ex: ftp, https, …)